منابع مشابه
Chief Chefs of Z to Alloy: Using a Kitchen Example to Teach Alloy with Z
Z is a well-defined and well-known specification language. Unfortunately, it takes significant expertise to use existing tools (such as theorem provers) to automatically check properties of Z specifications. Because Alloy is substantially similar to Z and the Alloy Analyzer offers a relatively simple method of model checking, we believe that Alloy should be largely employed in classes that teac...
متن کاملLocation optimization of agricultural residues-based biomass plant using Z-number DEA
Co-firing biomass plants are of extensive demand due to utilization of both agricultural residues (main) and natural gas (stand-by). Researchers have shown that one strategic decision in establishment of agricultural residues based plants, is location optimization problem. Moreover, mismatch between agricultural lands and biomass plants can lead to high transportation costs and related carbon d...
متن کاملOPTIMUM SELECTION OF NUMBER AND LOCATION OF GEOTECHNICAL BOREHOLES BASED ON SOIL RESISTANCE
Digging of geotechnical boreholes and soil resistance tests are time-consuming and expensive activities. Therefore selection of optimum number and suitable location of boreholes can reduce cost of their drilling and soil resistance tests. In this research, a model which is consisting of geo statistics model as an estimator and an optimized model is selected. The kriging calculates the variance ...
متن کاملApplication of Z-Number Based Modeling in Psychological Research
Pilates exercises have been shown beneficial impact on physical, physiological, and mental characteristics of human beings. In this paper, Z-number based fuzzy approach is applied for modeling the effect of Pilates exercises on motivation, attention, anxiety, and educational achievement. The measuring of psychological parameters is performed using internationally recognized instruments: Academi...
متن کاملMETAHEURISTIC ALGORITHMS FOR MINIMUM CROSSING NUMBER PROBLEM
This paper presents the application of metaheuristic methods to the minimum crossing number problem for the first time. These algorithms including particle swarm optimization, improved ray optimization, colliding bodies optimization and enhanced colliding bodies optimization. For each method, a pseudo code is provided. The crossing number problem is NP-hard and has important applications in eng...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Procedia Computer Science
سال: 2016
ISSN: 1877-0509
DOI: 10.1016/j.procs.2016.09.387